#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>
#include<string.h>


//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	char ch2[] = "def";
//	strcat(ch1, ch2);
//	printf("%s\n", ch1);
//	return 0;
//}

//#include<stdio.h>
//#include<string.h>
//int main()
//{
//	char ch1[100] = "abc";
//	int sz = strlen(ch1);
//	strncat(ch1, ch1, sz);
//	printf("%s\n", ch1);
//	return 0;
//}
//
	//}
	/*k = j;
	if (j < n && j >= 0)
	{

		a[i][j] = 5;
		j--;
	}
	j = k;*/
//		}
//	}
//	for (i = 0; i < 4; i++)
//	{
//		for (j = 0; j < 4; j++)
//		{
//			//if(i==j)
//			printf("%d ", a[i][j]);
//		}
//		printf("\n");
//	}
//	return 0;
//}

int main()
{
	char ch1[100] = "abcdefhi";
	char ch2[] = "cdef";
	char* ret = strstr(ch1, ch2);
	if (ret == NULL)
		printf("No\n");
	else
		printf("Yes\n");
	return 0;
}